Buy Used and New Andrei Voronkov Books

Results for Andrei Voronkov

Showing 1 to 12 of 20 results
Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science) Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science) by Andrei Voronkov,Christoph Weidenbach

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

by Andrei Voronkov,Christoph Weidenbach


ISBN 13: 9783642376504

Format: Paperback (460 pages)
Publisher: Springer
Published: 03 Apr 2013

Save for later

 
New : $64.93  
New : $64.93
Handbook of Automated Reasoning: Volume II Handbook of Automated Reasoning: Volume II by Alan J.A. Robinson,Andrei Voronkov

Handbook of Automated Reasoning: Volume II

by Alan J.A. Robinson,Andrei Voronkov


ISBN 13: 9780444508126

Format: Illustrated (1188 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

 
New : $194.26  
New : $194.26